61. Algebraic analysis of basic propositional logic
پدیدآورنده : by: Majid Alizadeh,^AAlizadeh, Majid
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Logic, Symbolic and mathematical,Algebraic logic,Interpolation,Amalgamation
![](/design/images/bookmore.png)
63. An introduction to analysis
پدیدآورنده : Zaring, Wilson M
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Calculus,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
303
.
Z3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
64. An introduction to analysis
پدیدآورنده : Zaring, Wilson M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Calculus,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
303
.
Z3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
65. An invitation to applied category theory :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
![](/design/images/bookmore.png)
66. Analysis and Synthesis of Logics
پدیدآورنده : \ by Walter Carnielli...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,
![](/design/images/bookmore.png)
67. Analysis and logic
پدیدآورنده : edited by Catherine Finet & Christian Michaux; authors, C. Ward Henson ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Mathematical analysis,، Logic, symbolic and mathematical
رده :
QA
300
.
5
.
A53
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
68. Analysis and logic
پدیدآورنده : edited by Catherine Finet & Christian Michaux; authors: C. Ward Henson... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
5
.
A522
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
69. Analysis and logic
پدیدآورنده : edited by Catherine Finet & Christian Michaux; authors, C. Ward Henson...]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
5
.
A536
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
70. Analysis and synthesis of logics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
![](/design/images/bookmore.png)
71. Analysis and synthesis of logics: how to cut and paste reasoning systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
A634
2008
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
72. Analysis and synthesis of logics :how to cut and paste reasoning systems /Walter Carnielli ... [et al.].
پدیدآورنده : مولف
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Logic, Symbolic and mathematical.
![](/design/images/bookmore.png)
73. Axiomatic analysis; an introduction to logic and the real number system, under the general editorship of David Vernon Widder
پدیدآورنده : Katz, Robert
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Aggregates,، Logic, Symbolic and mathematical
رده :
QA
248
.
3
.
K3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
77. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
![](/design/images/bookmore.png)
78. Carnap's Logical syntax of language
پدیدآورنده : edited by Pierre Wagner
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Carnap, Rudolf,1981-0791.Logische Syntax der Sprache,Congresses ، Logic, Symbolic and mathematical,Congresses ، Grammar, Comparative and general - Syntax,Congresses ، Logical positivism
رده :
B945
.
C163
L6338
2009
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
79. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
![](/design/images/bookmore.png)
80. Combinatorics, complexity, and logic: proceedings of DMTCS'96
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D62
1997
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)